14

Approximating labelled Markov processes

Year:
2003
Language:
english
File:
PDF, 347 KB
english, 2003
15

Special Section on Advances in Control and Optimization of Dynamical Systems

Year:
2016
Language:
english
File:
PDF, 180 KB
english, 2016
16

Weak bisimulation is sound and complete for

Year:
2010
Language:
english
File:
PDF, 272 KB
english, 2010
22

Metrics for labelled Markov processes

Year:
2004
Language:
english
File:
PDF, 405 KB
english, 2004